⚡ Fusion Laws - abnv · Scour

Tip of the Week #143: C++11 Deleted Functions (<code>= delete</code>)

abseil.io·6h

🔧Scheme Macros

Oatmeal - Constraint propagation for fun

eli.li·2h

🧩Constraint Solvers

feldera/feldera: The Feldera Incremental Computation Engine

github.com·19h

🚂Cranelift IR

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

My Most Important C++ Aha! Moments...Ever

artima.com·6h

Let Lambda Come Over

yamlscript.org·23h

λLambda Calculus

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·13h

🧮Combinator Calculus

When a Model Finds a Bug in Cryptography, and a Cryptographer Learns New Mathematics from It

dev.to·2d·

Discuss: DEV

🔍ML Language

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

📡Erlang BEAM

Rob Pike's Simple Regular Expressions

bruceediger.com·3h

🔤Regex Engines

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·1h·

Discuss: DEV

💬Smalltalk VMs

Early History of a Perfect Join Algorithm

remy.wang·6h

📈Query Optimization

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

🧩Monadic Parsing

Performance Tip of the Week #64: More Moore with better API design

abseil.io·6h

⚡Interpreter Optimization

The Stochastic-Quantum Theorem

arxiv.org·2d

🧮Combinator Calculus

Build a Compiler in Five Projects

kmicinski.com·19h

🎭Racket Modules

erlang.org·1d·

Discuss: Hacker News

🎭Polymorphic Variants

Logic Puzzles: Why the Liar Is the Helpful One

blog.szczepan.org·1d·

Discuss: Hacker News

📜Proof Languages

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·1d

How I Built My Project in Haskell

dev.to·5h·

Discuss: DEV

🌱Minimal Languages

Loading more...